1. Interpolation and definability : modal and intuitionistic logics

by Gabbay, Dov M | Maksimova, Larisa.

Publisher: Oxford Clarendon Press 2005Availability: Items available for loan: [Call number: 511.3 GAB] (1).
2. Modal logic

by Chagrov, Alexander | Zakharyaschev, Michael.

Publisher: Oxford : Clarendon Press, 1997Availability: No items available Checked out (1).

Powered by Koha